جنبه هایی از منطق تلفیقی اثباتها و اثبات پذیری

پایان نامه

وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان - دانشکده ریاضی
نویسنده مقداد قاری
استاد راهنما مجتبی آقایی مرتضی منیری
سال انتشار 1391

چکیده

در این رساله به بررسی منطقهای توجیه و ارتباط آنها با منطقهای موجهات می پردازیم. نتایج این رساله به سه گروه قابل تقسیم هستند. ارایه منطقهای توجیه جدید، از جمله: ‎ jb (صورت صریح منطق موجه براوری ‎ kb)، ‎ jgl (صورت صریح منطق اثبات پذیری گودل لوب ‎ gl)‎ و jld (صورتهای صریح منطقهای دانشی توزیعی). بررسی ارتباط منطقهای توجیه ارایه شده با منطقهای موجهات متناظر آنها بوسیله ارایه قضیه تحقق، از جمله: اثبات قضیه تحقق برای kb‎ با استفاده از نگاشت نشاندن، اثبات قضیه تحقق برای gl‎ به صورت نحوی، و اثبات قضیه تحقق برای jld ‎ به صورت معنایی. ارایه دستگاههای اثبات گنتسنی برای منطقهای توجیه و اثبات قضیه حذف برش برای آنها، از جمله: دستگاههای گنتسنی lpg‎ وlplg ‎ برای منطق اثباتها، دستگاههای گنتسنی s4lpg و s4lplg برای منطق شناختی با توجیه ‎ s4lp ‎، دستگاه ابر رشته ای ‎ s4lpnlh برای منطق شناختی با توجیه ‎ s4lpn و دستگاههای رشته ای برچسب دار برای منطقهای توجیه و منطقهای شناختی با توجیه.

منابع مشابه

جنبه هایی از بهره وری

بهره وری دارای مفهومی گسترده و فراگیری است. برای درک بهره وری و مفاهیم مرتبط با آن این مقاله در دو بخش عرضه می شود. در بخش اول سیر تطور بهره وری در طول زمان و مفهوم سطوح و معیارهای آن مرور می شود. در بخش دوم چگونگی دستیابی به بهره وری، تعیین معیارهای سنجش و روش های اندازه گیری آن در سطح یک شرکت مورد بررسی قرار می گیرد.

متن کامل

جنبه هایی از تاریخ و حماسه در ایران باستان

متن کامل

مقایسهء جنبه هایی از ساخت صوتی زبان فارسی و ژاپنی

مقایسهء زبان ها یا زیرنظام های آن ها فرایندی است که حاصل آن می تواند هم به افزایش آگاهی ما دربارهء ساخت زبان ها، شباهت ها وتفاوت های آن ها منجر شود و هم در تحقق اهداف کاربردی در فعالیت های مربوط به حوزهء زبان، به ویژه در ترجمه و آموزش زبان مؤثر واقع شود. وقتی صحبت از مقایسهء دو چیزمی شود، بیشتر پی بردن به شباهت های آن ها مطمح نظر است، اما در مقابله بیشتر پیدا کردن تفاوت هامد نظر است. فرض بنیادی...

متن کامل

جنبه هایی از بوم شناسی قارچهای راسته Uredinales در ایران

متن کامل

جنبه هایی از بهره وری

متن کامل

جنبه هایی از مشکل اشتغال دانش آموختگان دانشگاه های کشور

در این مقاله معضل بیکاری دانش آموختگان دانشگاهی از جنبه ی تطابق با نیازهای بازار کار، مورد بررسی قرار می گیرد و تلاش می شود با توجه به دیدگاه های اندیشمندان و صاحبنظران آموزش عالی، ابعاد و جنبه های مختلف این موضوع بررسی می شود. این طور به نظر می رسد که با توجه به تحولات جهانی و راهبردهای نوینی که دیگر کشورهای جهان برای پرهیز از حاد شدن اشتغال دانش آموختگان در حال شکل گیری است اقدام برای برنامه ...

متن کامل

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}

نوع سند: پایان نامه

وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان - دانشکده ریاضی

کلمات کلیدی

منطق توجیه

میزبانی شده توسط پلتفرم ابری doprax.com